185 research outputs found
Reparametrizations of Continuous Paths
A reparametrization (of a continuous path) is given by a surjective weakly
increasing self-map of the unit interval. We show that the monoid of
reparametrizations (with respect to compositions) can be understood via
``stop-maps'' that allow to investigate compositions and factorizations, and we
compare it to the distributive lattice of countable subsets of the unit
interval. The results obtained are used to analyse the space of traces in a
topological space, i.e., the space of continuous paths up to reparametrization
equivalence. This space is shown to be homeomorphic to the space of regular
paths (without stops) up to increasing reparametrizations. Directed versions of
the results are important in directed homotopy theory
Trace spaces in a pre-cubical complex
AbstractIn directed algebraic topology, directed irreversible (d)-paths and spaces consisting of d-paths are studied from a topological and from a categorical point of view. Motivated by models for concurrent computation, we study in this paper spaces of d-paths in a pre-cubical complex. Such paths are equipped with a natural arc length which moreover is shown to be invariant under directed homotopies. D-paths up to reparametrization (called traces) can thus be represented by arc length parametrized d-paths. Under weak additional conditions, it is shown that trace spaces in a pre-cubical complex are separable metric spaces which are locally contractible and locally compact. Moreover, they have the homotopy type of a CW-complex
- …